Trig equations using compound angle identities